 All right, America, welcome back. We continue our live continuing coverage of the Republican National Convention 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.