African coral snake Synonyms