Palacio de Minería: un palacio dentro de la ciudad de los palacios