The pirates of the Defensor de Pedro (1828–30) and the sanitisation of a pirate legend. (November 2020)