cease the battle Synonym