 Donald Trump is officially the Republican nominee for president. That happened within the last hour. And he has also selected J.D. Vance, the Ohio senator, as his running mate. Let me give you a few thoughts on Vance. He is highly intelligent. He served our country in uniform with great distinction abroad.