特朗普：雷神和IBM竞标空中交通管制系统。