Het Nederlandse zeemanslied in de zeventiende en achttiende eeuw: Het gebruik als historisch bronnenmateriaal