Renaming Robert E. Lee Jr. High School