Vibrio carchariae infection after a shark bite.