Dutch ship Philips van Marnix transported troops to the Dutch East Indies according to the Dutch newspaper Utrechtse provinciale en stads-courant dated 6 September 1850

An item dated Harderwijk, Netherlands the rd reported the intended departure on the 14th by ship towards Nieuwediep, Netherlands of a detachment of 80 non-commissioned officers and soldiers to embark on the 16th the Dutch ship Philips van Marnix bound for the Dutch East Indies. The detachment was commanded by artillery captain J.C.C. Henckel of the Dutch East Indies army accompanied by 2nd infantry lieutenants C.L.St,A.M. de Roij van Zuijdewijn and C.A. van der Boom, aspirant paymasters J. Revius and A.J. van der Schalk and officer of health 3rd class G.F. Charlier.