 Good morning. The Republican presidential ticket is now official. Donald Trump again for President and Ohio Senator J.D. Vance for Vice President. It's 7 o'clock. I'm Erwin Gratz with Sasha Pfeiffer and Steve Inskeep, and this is Morning Edition on Maine Public Radio.