I think you'll find the USG is only holding those shares temporarily and they will be transferred to ... someone ... just before January 20th, 2029.
Although, I guess, you can't really just dump a 10% stake in Intel overnight without causing problems, can you. Geez what a mess.