Google said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.

The president wants to honor a predecessor, William McKinley, by returning his name to North America’s highest peak. The state’s senators prefer the Native name.

President Claudia Sheinbaum of Mexico also said Donald Trump was ill-informed when he said Mexico was “essentially run by the cartels.”