Credit: Courtesy Prince William County Public Schools Prince William school system hires deputy superintendent