Turning a mine into the largest lake in Spain