También en el caso del Palacio Rojo, el color de la piedra da el nombre al edificio.