Tropical Depression 17 forms in the Gulf of Mexico