hammering out a ceasefire Synonym