The two sides are negotiating an arrangement under which SpaceX would provide computing capacity to the department at a cost of up to several billion dollars, according to a report in the Wall Street Journal.