2021 saw an unexpected wave of sea shanty revivalism, but how popular were songs like 'Wellerman', 'Old Maui', and other sea songs and shanties in practice among Whaling and other vessels?