 The president, the 45th president of the United States, Donald J. Trump, was officially nominated. He'll be accepting that official nomination, I believe, on Thursday. But listen to Speaker Mike Johnson make that nomination. Pursuant to Rule 40D of the rules of the Republican Party, I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for president and vice president of the United States.