Condolences for the family of Hazel P. Mitton