New small crocodile species identified