Synonyms for asian coral snake