K51.8: Other ulcerative colitis