Jardim do Palácio dos Leões, headquarters building of the government of the Brazilian state of Maranhão,