In Google Maps in the United States, the sea is designated as the Sea of Japan (East Sea). A similar naming procedure is set to be used for the Gulf of Mexico in regions outside the United States.

Google Maps changes Gulf of Mexico to Gulf of America for U.S. users 00:42. The Gulf of Mexico is now called the Gulf of America for Google Maps users in the United States, keeping with the terms ...