The prophetess: or, The history of dioclesian. A dramatic opera. With all the new songs, &c. As it is performed at the Theatre-Royal in Covent-Garden [electronic resource]