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