Is BISD’s Superintendent Thomas leaving?