Diagnosis of choledocholithiasis by laparoscopic ultrasound during cholecystectomy