Gulf of Mexico is the common name, used extensively by all types of people since the 17th century. The idea that this is a propaganda nickname is so absurd that

Gulf of Mexico is the common name, used extensively by all types of people since the 17th century. The idea that this is a propaganda nickname is so absurd that I can only consider it a bold faced lie.