北朝鮮にトンネル技術を提供したのは味噌国