Title: The puppets of Pancratia, or, the King's comic opera