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