Bullock Pen Water District (Grant County, KY): what EPA records show