Villablino llora la pérdida de sus héroes: más de 4.000 personas despiden a los mineros fallecidos en Cerredo