Narrow Gauge in the Tropics: The Railways of the Dutch East Indies, 1864–1942