A Virginia school district voted to change the names of a few schools at a cost nearing half a million dollars -- a sum that one board member believes would be better spent on resources for students during the coronavirus pandemic. The Portsmouth School Board voted 8-1 Thursday night to change the names of Woodrow Wilson High School, John Tyler Elementary School and James Hurst Elementary School.