Texas Educator Named New Virginia Highlands Community College President