Obituary of Donald James Hotchkin