Just hours after he took office in January, Trump instructed the US Board on Geographic Names to make the change.

The Mexican president had warned the tech company that her country could bring legal action for renaming the gulf.