Tropical Storm Debby forms in Gulf of Mexico