Japanese porcelain in the trade records of the Dutch East India Company