He followed that up with a proclamation declaring Feb. 9 to be "Gulf of America Day." "The press and all people in the United States have the right to choose their own words and not be retaliated against by the government,

The Gulf of Mexico is now called the Gulf of America for Google Maps users in the United States, keeping with the terms of President Trump's controversial executive order to rename the body of water.