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.

In one of his first acts as president, Donald Trump used an executive order on Monday to rename the Gulf of Mexico and Denali in Alaska. To start, Trump re-named the Gulf of Mexico the “Gulf of America,” following through on a promise he made during his campaign. The body of water borders Texas, Louisiana, Mississippi, Alabama, and Florida.