North Korea mined an inter-Korean road in the demilitarized zone