Republicans formally nominate Trump as their 2024 choice for president

His vice presidential running mate, JD Vance, was also approved by the party.