Mountain Water Dist (Pike County, KY): what EPA records show