240 million-year-old 'crocodile beast' was one of the largest of its kind