Kejsar Pedro och Brasilien.