João do Pulo ganhou alguma medalha de ouro na olímpiada