La mina (túnel para evitar inundaciones), DAROCA