Mystery of extinct horned crocodile solved after 150 years