Tropical Storm Olga forms in the Gulf