The pirates of Penzance, or, The slave of duty