paintings of Batavia in 18th century