Why the Portuguese Restoration of 1640 Matters to the History of American Slavery