settling a truce Synonym