A new song, called Sir Humpkin Buz, or the troopers in disgrace [electronic resource]