Google updated the name last week for Maps users in the US, though Maps users in Mexico still see Gulf of Mexico and people outside either country see both names. Mexican President Claudia Scheinbaum said Monday that the country would “proceed to court” if Google did not reverse the change. Google defended the change in an earlier letter to the Mexican government, saying that it follows “longstanding maps policies impartially and consistently across all regions.”