 Mr Trump was formally nominated as the party's candidate for the presidential election in November, and the Republican delegates backed Mr Trump's choice of running mate and vice presidential candidate, the 39-year-old Ohio Senator J.D. Vance. Well, our North America correspondent David Willis is on the line now. David, it was quite a moment when Donald Trump entered that arena, wasn't it?