 Coming up on WTOP, Donald Trump now officially the Republican nominee for president after the roll call vote at the party's convention in Milwaukee. He also has a newly minted running mate. He is Senator J.D. Vance of Ohio. We'll talk about all of this. We'll go to Capitol Hill and talk to WTOP Capitol Hill correspondent Mitchell Miller just ahead. It's now 412.