Massive 'launch pit' dug for Seattle tunnel boring machine