end the war Synonym