operas, ballets, plays, and other theatrical shows, staged at the Whitehall Theatre in