My position is more that it's OK to mention a well known and easily verifiable fact without digging out authoritative sources.
According to an AI I asked, about 50% of that value is Starlink, with space launches and AI making up about 25% each.
The Starlink business depends on their cheap space launch tech, so using these rough numbers capability I'd say it is worth 75% of the company, or $1400B.