Text this: Presence of choledocholithiasis in patients undergoing cholecystectomy for mild biliary pancreatitis