Channel, between the southern tip of Florida & the island of Cuba, linking the Atlantic Ocean & the Gulf of Mexico?