Donald Trump is the Republican nominee for president of the United States