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.