Florida boy's face bitten by shark in Key West while fishing in 2022