July rainfall in Ohio more than normal