I don't think that is a what if, that's what actually happened.And since the FBI and DOJ are parties in a war with Trump, who is the neurtral party we could trust if the documents were to be announced as worthy of the raid?
What if Trump ordered the documents declassified but the civil service DC dem deep staters failed to execute it unbeknownst to Trump?