longfin pilot whale Synonyms