Local

12-foot white shark pinged off North Carolina coast