The Pirates of Penzance (London premiere)