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