 After the news, Donald Trump is now officially the Republican presidential nominee, and he's chosen Ohio Senator J.D. Vance to be his running mate. Vance has only been in the Senate for two years. Our Mark Sedeklik will take us inside the Republican National Convention in Milwaukee, and a federal judge appointed by former President Trump has dismissed the classified documents case against him after finding the prosecutor was unconstitutionally appointed. Those stories ahead, first top stories at 4.30.