Trump Says He Really Wanted to Rename the Gulf ‘Gulf of Trump’