Nederlands Indië; militair, Indonesiër Nederlands Indië 7 December Divisie; groep van zeven militairen en een Indonesiër