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