Execução de mandado – José de Sampaio do Vale; Manuel da Silva Carmo (1800)