har kejsar Pedro af Brasilien regerat.