“SpaceX's IPO prospectus identifies "Customer A," believed to be the U.S. government, as one of its largest customers.”