Dr Karan Singh’s ninetieth birthday