the rio grande has numerous tributaries that also add to its water supply , but these tributaries normally collect their waters from sporadic rainstorms during the summer monsoon season when a high-pressure area , the bermuda high , draws moisture up over the state from the gulf of mexico .