The Intra-Asian trade in Japanese copper by the Dutch East India company during the eighteenth century | lit.salon