8-year-old boy ‘in good spirits' after shark attack off Key Largo, Fla., family says