Execução de mandado – João Pinto da Rocha; José Antônio dos Santos (1824)