No, I don’t know it to be true, which is why I said “reportably” and “If thats true.”
Just as obviously, the President couldn’t be expected to name someone he didn’t intend to nominate, so, as with all nominations, one has to rely on the White House rumor mill as repeated by the press.
What I’ve gotten real tired of is people automatically dissing the President for something they don’t like that he’s supposedly done, when all they’re basing their displeasure on is rumor.