“An American Bar Association report in 2022 seemed to agree with Trump’s assertion that ‘guidelines support his contention that presidents have broad authority to formally declassify.’”