 Coming up on WTOP, we'll take you to the Republican National Convention in Milwaukee, where a lot has already happened in the opening hours, including a running mate chosen for Donald Trump and the former president being officially nominated. That's just ahead. It's 512.