Google changes Maps to align with the user’s local government. While Google has complied with Trump’s order, Apple has not yet updated the name of the Gulf of Mexico or Denali on its Maps app.

His 3D images of the great Tenochtitlán include views of the lake basin during a rain storm, from the Paso de Cortés [the mountain pass where Hernán Cortes entered the Valley of Mexico] to the ...

In Google Maps in the United States, the sea is designated 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.

As of Monday afternoon, Google Maps users in the United States will see the Gulf of Mexico’s name changed to be the Gulf of America. International users will see both names, while Mexican users ...