metasequoia shenmuensis Synonyms