Gulf of Mexico fun facts