Hawaii later became a U.S. state. While Trump can direct the U.S. Geological Survey to change how it denotes the Gulf of Mexico, such a name change would be unlikely to be recognized internationally.
Some results have been hidden because they may be inaccessible to you