North and South Korea Agree to Consider Official End to the Korean War