Changing the name of the Gulf as it is used in the United States is within the administration’s power. Gov. Ron DeSantis of ...