The body of water formerly known as the Gulf of Mexico has now been formally renamed in the Geographic Names Information ...
The names will be updated once the Geographic ... Maps would be visible only in the U.S. Outside of the U.S., users will see ...