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