DoD had to stop work on huge JEDI cloud contract, how did the losing bidder pull it off?