TISD Board of Trustees names Gary Mooring Interim Superintendent