History of Portugal (1640–1777)