make an armistice Synonym