 From ABC News, this is ABC World News Tonight with David Muir, reporting tonight from Milwaukee. Good evening from Milwaukee tonight. We are coming to you from the Republican National Convention tonight. The major headlines here already. Delegates here have formally nominated the former president. And after months of speculation, Trump has now named his vice presidential running mate, Senator J.D. Vance from Ohio.