President Donald Trump signed several executive orders on his first day in office, including a move to change the Gulf of Mexico to be named the Gulf of America.

The Gulf covers an area of around 600,000 square miles, earning it the title of the world’s largest Gulf and connecting the United States, Mexico and Cuba with a complex current system that hosts a diverse ecology, according to the National Oceanic and Atmospheric Administration (NOAA).

Trump’s comment earlier this month about renaming the Gulf of Mexico to the “Gulf of America,” according to AL.com, quickly received approval from congressional Republican members.

Orange Beach Mayor Tony Kennon told Gulf Coast Media prior to Trump being inaugurated that while he doesn’t “take everything he says literally,” Kennon said he loves the statement that Trump is appearing to make with the change.

“Not everything he says is literal,” Kennon said. “He’s just setting a tone for making America great again.”

An article on Trump's comment by AP News reminisced on other times the Gulf was called “Gulf of America,” mostly in the form of a joke. One specific instance mentioned was when comedian Stephen Colbert joked after the Deepwater Horizon oil spill in 2010 that it should be renamed because “We broke it, we bought it.”

Kennon said in negotiations “you either got leverage or a relationship.” With “Gulf of America,” Kennon said that he doesn’t know if it will happen or not but he does believe it is a part of a negotiation tactic used by Trump.

“Blustering has a lot to do with setting the tone with how the negotiation's going to go,” Kennon said.

The AP News article said a name change is possible but other countries would not be required to change their maps or go along with the new name. The article mentioned how other landmarks, seas and bodies of international waters can be called different names in different countries' documentation.