A teenage boy diving in Encinitas on the opening day of lobster season was bitten by a shark on his upper torso; the boy underwent surgery and is recovering from his injuries.