 Hey, people. 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 Panchwani 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