The Korean Demilitarized Zone: Location and facts of the Korean DMZ