Synonyms for Asian_coral_snake