Corte do Pinto, mining village near Mertola in Portugal, artificial lake with acid water, old mining industry