The announcement came as President Donald Trump signed an executive order renaming the Gulf of Mexico to the Gulf of America.