Where was the Dutch navy located?