Trump could have released him when he was president. He didn’t.