 Steve Roberts, thank you. So tonight, the first night of the Republican convention, a wrap on a day when former President Trump officially became the nominee. A few hours ago, his running mate had been unclear. Tonight, we know it as J.D. Vance, who also got the votes from delegates. Same day, the classified documents case was tossed out, two days after an assassin tried to kill former President Trump. I'm Alex Stone. You've been listening to live coverage from ABC News.