Mexican President Claudia Sheinbaum announced on Friday that Mexico has sued Google over its decision to change Gulf of Mexico to the Gulf of America on Google maps.

U.S. President Donald Trump signed an executive order to rename the Gulf of Mexico.

This week, the House passed a bill to formally adopt the new name.