Obituary of Charles Marion Hotchkin