Is this what you are wanting? The music for Three Sea Captains is HERE in ABC format as well as sheet music.
If you use an ABC Converter you can also get it played as a MIDI file.