(CNN) — An 8-year-old boy was flown to a Miami trauma center after a shark bit him in the ocean off the Florida Keys on Labor Day, authorities said.

The boy was snorkeling off the ocean side of Key Largo when the shark bite happened shortly before 3:30 p.m. Monday, the Monroe County Sheriff’s Office said in a Facebook post . The boy was with his father and a sibling off a reef at the time, CNN affiliate WPLG reported , citing authorities.

The boy’s name and condition were not immediately released. But the child, who suffered bite wounds to the left leg, was taken to shore by a snorkeling and diving charter service’s vessel, and then airlifted to a Miami hospital “for specialized trauma treatment and advanced medical care,” the Key Largo Fire Department said in a release.

“A witness

See Full Page