I always thought it possible that any surviving Dutch warships in Europe would have ended up in the United Kingdom, most likely Portsmouth.
I do have a brief write up of a possible evacuation of the Dutch Royal Family to the UK on my website.
http://www.twilight2000files.com/page64.html