Did Sinking Pirate Bay Cause More Piracy? And Does It Matter Anyway?