Trump’s claim he declassified docs called ‘ludicrous’