The Batavia massacre, Adolf van der Laan, 1740