Is Trump the End of the GOP? Hopefully.