Is Cholecystectomy Necessary After ERCP for Bile Duct Stones in Patients with Gallbladder in situ?