end the battle Synonym