I was thinking that too, but Trump denied that in his address to the nation about this.
No he didn’t...He said he wasn’t going to reveal how he knew this information when asked by a reporter.