Obituary of J. Ward Hotchkin