Lighter, I also think that Drunken Sailor counts as a "real" shanty. But that is by my inclusive and ex post facto definition of "shanty." When I am thinking specifically of shanties as a body of songs developed in the merchant trade for double pulls on the halyards and heaving windlasses (my category, to be sure), I tend to qualify DS.