North and South Korea agreed to work on formally ending the Korean War