Note 326 — SECTION XIX: CHAPTER VI
Reading edition
For details of all this, including the curious terms of the Portuguese sentence for high treason, see Soriano da Luz, iii. 80-109, and 719-22. The attempts to exculpate Barreiros seem inadequate. Da Costa was shot, not for treason, but for cowardice and mutiny.