Ohio EPA gives Cincinnati $725K grant to replace lead water lines