Title: Enrique de Trastamara, o, Los mineros