http://www.ecologyasia.com/NewsArchi...3256, 00.html
"The crocodile, which had eaten a 10-year-old boy in a river in Miri on Friday, was shot dead on Sunday.
The 4.5-m long reptile was shot twice in the head by a police officer along a river near the Niah National Park."