They'll get back the value of their loss (at the time) in $. The us government is not going to send them bitcoin like some crypto bro, and anyway they've already proven they are not to be trusted around digital assets.