Plaza del ayuntamiento de San Lorenzo del Escorial, versión rojo