hammering out a truce Synonym