"[José Inácio da] Costa Martins: militar português" See original record