Fuck that, I like some of these names.
Early European 16th-century maps such as those by Juan de la Cosa and Martin Waldseemüller depicted the eastern extremity of the gulf, though left it unlabeled.[13] Hernán Cortés called it "Sea of the North" (Spanish: Mar del Norte) in his dispatches, while other Spanish explorers called it the "Gulf of Florida" (Golfo de Florida) or "Gulf of Cortés" (Golfo de Cortés).[13] A 1584 map by Abraham Ortelius also labeled it as the "Sea of the North" (Mare de Nort).[14] Other early European maps called it the "Gulf of St. Michael" (Latin: Sinus S. Michaelis),[15] "Gulf of Yucatán" (Golfo de Iucatan),[16] "Yucatán Sea" (Mare Iuchatanicum),[17] "Great Antillean Gulf" (Sinus Magnus Antillarum), "Cathayan Sea" (Mare Cathaynum), or "Gulf of New Spain" (Spanish: Golfo de Nueva España).[13] At one point, New Spain encircled the gulf, with the Spanish Main extending into what later became Mexico and the southeastern United States.[14]