hammer out a ceasefire Synonym