tc williams high school name change