Donald Trump officially becomes the 2024 Republican nominee for president