HOLOTYPE OF MICRURUS NIGROCINCTUS ALLENI