Education Jul 23 Virginia board changes high school’s name from Robert E. Lee to John Lewis By Associated Press