Unas 5.000 personas despiden a los mineros fallecidos, en un funeral conjunto en León