The Pentagon shelves its JEDI contract