“SpaceX has publicly filed for an IPO under the ticker symbol SPCX.”