DISCUSSION. WOODHEAD NEW TUNNEL : CONSTRUCTION OF A THREE-MILE MAIN DOUBLE-LINE RAILWAY TUNNEL.