 In Wisconsin, live from New York, I am Rich Valdez. And moments ago, 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.