Old World coral snake Synonyms