Trump officially gets the Republican nomination for a second term