An account of the war in Portugal between Don Pedro and Don Miguel