Rattlesnake Ridge Water District (Carter County, KY): what EPA records show