Diverticulitis in a patient with a 47-year defunctionalized colon