Donald J. Trump is OFFICIALLY the Republican nominee