Trump signs executive order to rename Gulf of Mexico, Denali

While a name change for the Gulf of Mexico could be applied for federal references, other nations have no obligation to follow suit.