Obituary of Charles F. Hotchkin