Wann wurde das Ende der Kämpfe zwischen Vereinten Nationen und Norkorea im Koreakrieg beschlossen?