SPACEX 正洽谈为五角大楼提供计算能力。