Crocodile eats shark pup