East Casey CO Water District (Casey County, KY): what EPA records show