Trump did declassify them. This isn’t about declassification. This is about release. And that CIA Director isn’t going to release so much as a post-it note.
Sure, but if they are declassified, Trump can take the documents and release them himself, if he wanted to.