Of what precise species this sea-monster was, is not mentioned.