20180716 world.south-asia: Indonesian villagers kill nearly 300 crocodiles in revenge attack