In Tyler, Robert E. Lee High School keeps its name

A school board member's motion to change it failed, the Tyler Morning Telegraph reported.