Mexico is suing Google over how it’s labeling the Gulf of Mexico. Mexican President Claudia Sheinbaum says Trump’s name change order only applies to parts of the Gulf under US control.

Last week, Google renamed the Gulf of Mexico to the Gulf of America for US-based users of Google Maps, citing “a longstanding practice of applying name changes when they have been updated in ...