The Pride of the Regiment or Cashiered for his Country. Comic opera.