Credit: Courtesy Prince George's County Public Schools Braveboy names interim superintendent shortly after leader of Prince George’s schools’ resignation