Hardin County Water District #2 (Hardin County, KY): what EPA records show