Pedro III of Portugal — king of Portugal