Portugal and her Empire, 1680–1720