President Donald Trump’s executive order to rename the Gulf of Mexico and Alaska’s Denali, the tallest peak in the country, has resulted in lots of discussion. While for some, such renaming might seem less important than the big problems the country faces,

As part of a torrent of decisions he issued hours after taking office, President Donald Trump declared that the name of America’s tallest mountain be changed from Denali to Mount McKinley, and that the Gulf of Mexico be renamed “The Gulf of America.”

Mexican President Claudia Sheinbaum has an answer for President Donald Trump about his idea of renaming the Gulf of Mexico to the “Gulf of America:” he can call it whatever he wants on the American part of it.