Pedro V King of Portugal.