Gulf Name

There has been some debate about the name of the Gulf of Mexico lately. An American fellow wants to rename it.

Pepe and I believe that if the Gulf of Mexico would change names, the new name should be the Gulf of Chihuahua.