Diverticulosis (diverticular disease)