The Gulf of Mexico has carried that name for more than 400 years ... Trump said in his executive order that he wanted to ...
Mexican President Claudia Sheinbaum joked that if Trump went ahead with the renaming, her country would rename North America ...
Among the first executive orders signed by President Trump was an order to rename the Gulf of Mexico as the "Gulf of America.