bring into operation a truce Synonym