Coal Creek Utility District (King County, WA): what EPA records show