The freedom of the seas: or, The right which belongs to the Dutch to take part in the East Indian trade