Did they just end the Korean War?