Google maps users outside of the USA see two names: "Gulf of Mexico (Gulf of America)," a tactic that Google Maps follows for disputed areas.