Obituary of Flora E. Hotchkin