King County Water District #20 (King County, WA): what EPA records show