In one of his first acts as president, Donald Trump used an executive order on Monday to rename the Gulf of Mexico and Denali ...
While a name change for the Gulf of Mexico could be applied for federal references, other nations have no obligation to follow suit.