Did Trump know about it? Maybe it was done without his knowledge. It doesn’t sound like something for which he would give the go-ahead.
The timing for this was supposedly last November. If it happened, it was on obama’s watch, not Trump’s.