How Northern Virginia’s counties got their names