En realidad el holotipo fue encontrado por trabajadores de la mina.