NBC: Police identify youngest Virginia Walmart shooting victim as 16-year-old boy