President Claudia Sheinbaum of Mexico on Friday morning said her government had sued Google over the company’s decision to label the Gulf of Mexico as ‘Gulf of America’ — a spat going back to February, when the Trump administration issued an executive order to rename the gulf.

MEXICO CITY — Mexico has sued tech giant Google over its labelling of the Gulf of Mexico as the Gulf of America, a change made by U.S. President Donald Trump via executive order, Mexico President Claudia Sheinbaum said Friday. Sheinbaum did not provide details of the lawsuit during her daily press briefing, but said that Google had been sued.