Fauna antiqua sivalensis, being the fossil zoology of the Sewalik Hills, in the north of India