Ohio County Water District (Ohio County, KY): what EPA records show