Google changed the name for US users of Google Maps to reflect the decision by the government of US President Donald Trump to rename the Gulf of Mexico.

Sheinbaum has repeatedly decried the move, arguing the “Gulf of Mexico” name has long been recognised internationally.

Today, the leader said Google had not resolved Mexico’s earlier complaints.

She urged Google to review the decree from the White House, arguing “the only place it was effective was where (the US) has sovereignty, or up to 22 nautical miles from the coast”.

For users of Google Maps in Mexico, the gulf’s name remains the “Gulf of Mexico”.

Outside of the two countries, users see both names on Google Maps.

If Google holds its ground on the name, Mexico could take to the courts, Sheinbaum said.

“If necessary we will file a civil suit,” she added.

“Our legal area is already looking into what that would mean, but we hope that (Google) reconsiders.”

Google did not immediately respond to a request for comment.