A boy was eaten by a crocodile last week?

I am not sure about it because I haven't heard it at the news or something! If it is true, poor boy! I feel bad for him..........