The naval pillar [electronic resource] : a musical entertainment. As performed at the Theatre-Royal, Covent-Garden / By T. Dibdin