The elephant carving is the first known rock carving in India