DOGE said it saved $1.7 billion by terminating a military health IT contract. GAO found the contract was never terminated.