Execução de mandado – Domingos José Gomes e outros; José Maria de Jesus Castro (1825)