Alibaba Group Holding Ltd. sued the Department of Defense