I still think the Republican nominee is going to end up being Jeb Bush, by the way. The Trump drama is going to fade away. It’s Jeb’s turn, and the GOP will make sure that happens.