Boy loses part of leg to shark bite off Florida coast