Pentagon Halts Use of Military Intel in Prediction Markets - VEXODA