On Tuesday , tropical storm Jose dumped heavy rains on the Gulf of Mexico .