António José Martins & Companhia. See original record