20210707 world.us: Pentagon cancels disputed JEDI cloud contract with Microsoft