Since February 10, 2025, Google Maps varies the name displayed for the Gulf [of America or Mexico] based on device location settings.
https://github.com/davepinch/pinchy.cc/blob/master/content/topics/places/gulfs/gulf-of-america/gulf-of-america.md
