Condolences for the family of James E. “Harv” Harvey