Tropical Storm Cristobal sets new record in the Gulf of Mexico