Qual é o nome que fica na bandeira do Brasil?