settle a truce Synonym