In a historic meeting, leaders of North and South Korea agreed to formally end a war that has technically been going on for more than 60 years.
