History of the Korean DMZ in a Nutshell