Since February 10, 2025, Google Maps varies the name displayed for the Gulf [of America or Mexico] based on device location settings.
