Para ajudar um amigo brasileiro tento identificar dois oficiais do sec. 19.
Miguel Maria de Souza Gomes, "capitão de Engenheiros do Batalhão Porta Machado e um tio que se chamava Tenente Coronel José Ignácio Bernardino. " (sic).
A proposito do tal "batalhào Porta Machado" penso ter visto "de visu" do que se trata no site de modelistas e coleccionadores "Viriatus".