bring an end to war Synonym