'The Gulf of Mexico is still the Gulf of Mexico': president

MEXICO CITY -- Mexican President Claudia Sheinbaum brushed off speculations on Tuesday after Google Maps said it would rename "the Gulf of Mexico" for US users following an executive order.

Let's not speculate further on the subject, Sheinbaum said at a regular press conference.

US President Donald Trump's recent executive order to change the gulf's name only applies to US territory, so the name remains the same for Mexico and the rest of the world, Sheinbaum said.

"The Gulf of Mexico is still the Gulf of Mexico," she said.

Trump ordered federal agencies to change the name of "Gulf of Mexico" to "Gulf of America" on their maps and documents as part of a series of executive actions on his first day back in the White House.