Devassa por extravio de diamantes – Antônio Ribeiro da Costa (1804)