mediate an armistice Synonym