For weeks, online prediction markets have been tracking a highly specific question: Will Donald Trump formally declassify ...