13-year-old boy recovering after shark bite in Encinitas