 Well, but let's get back to our top story. This morning, Donald Trump has appeared at the Republican National Convention in Milwaukee, and he's appointed J.D. Vance, the senator from Ohio, as his running mate in the upcoming election. Mr. Trump's surviving an assassination attempt has had an impact on the share price of his social media company.