 making it official that President Trump, the former president, is their nominee. He got the majority of the delegates. And they also made it official that Senator J.D. Vance of Ohio would be the vice presidential pick.