 Earlier today at the RNC convention, Donald Trump formally nominated to be the Republican presidential nominee for president, and by acclamation, Ohio Senator J.D. Vance to be the vice presidential nominee of the Republicans. And we are...