Policemen's chorus, The from "Pirates of Penzance"