DeKalb district mourns death of Henderson Middle School supervisor