坑内掘り (こうないぼり) — underground mining | Kumi Dictionary