160年前第一条地铁建造全靠人力挖掘，淤泥路段解决办法堪称完美