thalassocnus Synonyms