My poor cat that ate my poor fish?

[MOODYBLUE412]

was eaten by my dog.
Should I pump his stomach or throw out the litter box?