I think you might be able to help me? I would like to list the official names (in Dutch) for the various incarnations of the Dutch navy on my website. This would be for the period 1650-1850. So far, I haven't been able to find them in the references I have...they usually just say "Dutch Navy." :(
I know for a period during the Napoleonic Wars the Netherlands was referred to as the Batavian Republic. Did the name of the navy change to reflect this?