Trump should have pardoned him. Even if morally guilty of anything, he's suffered a great deal already, and blowing the whistle on our corrupt gov, which Trump should already understand exists, is a service, not a crime.
If anyone is looking for a bad mark on Trump, this is one.