Hundreds of crocodiles were slaughtered by an angry mob in Indonesia.