diaphorocetus Synonyms