The little boy got eaten by a shark.