If true, it’s his sole prerogative.
That said, it’s probably not true. Nobody in a position to know would ever leak to the press. They risk federal prison for that leak. And Trump would know immediately who it was.
Considering this was 2017 and there was NON STOP LEAKING going on by some of the jackasses who were trying to undermine him, I wouldn’t blame him ONE bit if this were true..I would have done the same thing