Mexican President Claudia Sheinbaum on Thursday urged Google to reconsider its decision to rename the Gulf of Mexico the "Gulf of America" for U.S. users, adding the country could file a civil suit against the firm if necessary.

People in Mexico will still see the name Gulf of Mexico, with international users seeing both names, Google said. The change follows an executive order from President Trump.