Mina San Antonio. Antigua corta de carbón en proceso de restauración. Lago del hueco este.