For decades, history books and maps have labeled the big body of water that sits off the coast of the southern United States and Mexico as the Gulf of Mexico.