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