Ship names

So, I assume that all the ships named with some variation of "Jonge Prins", "Prins Willem", "Prins te Paard", or even "Jonge Prins Willem te Paard" were named after Willem II, rather than his infant son, Willem III. The Rotterdam Directors' ship usually called simply the Prins was actually named in this pattern. The name may even have been the longest version, Jonge Prins Willem te Paard (young Prince William on horseback).