Fast forward to the 16th century, when Spanish explorers began charting the Gulf’s waters. Early maps labeled it "Mar del ...