On the first day of the Republican National Convention, Donald J. Trump chose his running mate: Senator J.D. Vance of Ohio.
We watched the process unfold in real time in Milwaukee. Michael C. Bender, who covers Mr. Trump and his movement for The Times, takes us through the day.