The occurrence of flint in Ohio