The Gulf of Mexico has been so called for over 400 years ... It is home to over 15,000 species of fish, making it a massively popular fishing destination, according to the Parks Service.
and likely has hundreds if not thousands of pages of documents referencing Gulf of Mexico species such as red snapper and maps referring to the body of water as the Gulf of Mexico. Making that ...