“Google added that the name Gulf of Mexico will remain displayed for users in Mexico. Users in other countries will see both names, the company said.” https://www.cnbc.com/2025/01/27/google-maps-to-show-gulf-of-america-after-government-updates.html