xiphosurus polyphemus Synonyms