 All right, it's official. Donald Trump is officially the Republican nominee for the GOP. The convention is now underway, and there will be a couple of days in which a number of things get ironed out. The party will engage in its business. I expect to hear more discussion about the party platform and a few other things. The other big news that dropped this hour, just a few minutes ago, actually, is that J.D. Vance,