So the tune given "Captain Jinks of the Horse Marines" is the tune
I have heard for "Away, Away with Rum by Gum" / "North Atlantic Squadron".


Listen here: https://www.youtube.com/watch?v=AmFD05b-kVo


Nice to have a name for that tune.