What Do JPL's Layoffs Mean for the Space 3D Printing Segment