fredags flera kompanier marininfanteri afgått till Tonkin.