pirates of penzance policeman song