The Dutch East Indies : Holland's colonial empire (Guatanty Company, 1922)