Most of the "shanties" I've heard aren't shanties, but more rightly, sea songs, or has been already noted, forebitters. But I don't want to get too pedantic. If I were to imagine what Pete Seeger would think, the important thing is that people are singing.

Maybe when we can be social again, we'll have a whole new crop of singers at our son session. They may be doing the (as I've just heard on Facebook) the Fresh Prince of Bel-Air shanty, but whatthehell.