Could Tropical Storm Milton form in the Gulf of Mexico?