Pantano de Diógenes, MINA DIOGENES