genus Dugong Synonyms