Pedro III of Portugal (1717-1786)