genus Erignathus Synonyms