Mariniersbrigade 
Voor, tijdens en na de politionele acties in Nederlands-IndiŽ