Text this: The history of the revolution in Portugal in the year 1640, or, An account of their revolt from Spain and setting the crown on the head of Don John of Braganza ... /