The Dutch East India Company in the 17th century