Local

11-year-old boy bit by shark off NC coast, officials say