July has been the month of the flash flood. The floods in Texas were particularly devastating: more than 130 deaths, 101 ...