Den var Brasiliens stora högtidsdag,