Chinese river dolphin Synonyms