Obituary of Miron F. Hotchkin