Timing of cholecystectomy after mild biliary pancreatitis