 This is CBS News Roundup. I'm Chanel Call in New York. At the GOP convention in Milwaukee, the Republican Party formally named Donald Trump its candidate for the 2024 presidential election. And Trump named Ohio Senator J.D. Vance as his choice for running mate.