1兆円規模のクラウド事業「JEDI」を国防総省がキャンセル