genus Sequoiadendron Synonyms