Departure of troops to the Dutch East Indies from Rotterdam