It had been named after Ranji’s nephew, Kumar Shri Duleepsinhji (1905–59). –