Credit: WTOP/Neal Augenstein Alexandria school board votes on new names for high school, elementary school
