Bile-acid enteroliths and jejunal diverticulosis