effectuate an armistice Synonym