President Trump is the official 2024 Republican nominee for president