Trump announced in a press conference that he plans to change the name of the Gulf of Mexico, but is that possible?