The recruiting serjeant, a musical entertainment; as it is perform'd at the