El dique de colas de la mina Josemaría será casi tan grande como Caracoles