These pirates are regular jaguars, and it seems to me we ought not to hesitate to treat them as such!