 Again, the roll call of the states has finished. And Donald Trump, the official nominee for president for the Republican Party. And just before the roll call started, we got the announcement that the Trump campaign has picked Ohio Senator J.D. Vance to be Donald Trump's running mate.