Manpower problems and manpower policy of the Dutch Colonial Army (1860-1920)