Fifth-grade reading champs crowned in Virginia Beach Public Library’s Ninth Annual Battle of the Books