Los mineros eran: Antonio del Valle, Pedro de Medina, Diego del Castillo y Juan Rollón.