“Some believe the Batavia was an English or Spanish vessel, but the facts confirm she was a Dutch ship on a voyage to the Dutch East Indies.”