Dom Pedro af Brasilien fick gå bort.