Garita del túnel, MINAS DE HORCAJO