When an armistice was signed ending the Korean War,