The rise of collective folk song, known as sea shanties, is a trending hit in social media--most especially on TikTok.