Raja mahendra pratap singh biography definition