De Miranda Henriques, José Joaquim, Major-General