flag destroyer Synonyms