 AP News, I'm Ben Thomas. The Republican National Convention is well underway in Milwaukee, where delegates have formally nominated Donald Trump to again be their presidential nominee. And Haya Panjwani reports. Trump chose Senator J.D. Vance of Ohio as his running mate, picking a one-time critic who became a loyal ally and is now the first millennial to join a major party ticket.