In this case, probably more like Jowls than Jaws. If it didn't completely take off his foot, and he lifted it out of the water, it was probably about a three-footer.
What did this kid do wrong? He swam at night.
Sharks feed in the evening and at night, and if you are in the ocean then, you are participating in the food chain.