Musk’s SpaceX in talks to supply the Pentagon with computing power, WSJ reports