settle an armistice Synonym