Tropical Storm Cristobal moves into the Gulf