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.

Trump had made the name change via executive order. Mexico’s Foreign Relations ministry had asked Google not to label Mexican territorial waters as the Gulf of America.