Mexican president says President Trump can call the gulf whatever he wants but that the world will still call it the Gulf of Mexico.

The most important thing in any name is not what some official institution or a collection of old maps says. Spontaneous order tends to rule the day.