坑道战打到朝鲜战场