conclude an armistice Synonym