If a person without a green card, but with a work permit has a 401K in the US, and then leaves the US abruptly(never receiving a green card), can he claim the assets in his 401K and liquidate them after a full tax penalty? Thanks.