"18th-century execution by Portugal" . . . . .