and the San Antonio Independent School District voted in unanimously last month to change the name of its Robert E. Lee High School following a 5-2 vote in 2015 to keep the name.