Does not need to be reported, he is in a nonresident alien status
Use the Form 8949 Sales and Other Dispositions of Capital Assets to report the sale.
Review the applicable Tax Treaty for the tax rate and report on the Schedule NEC, Tax on Income Not Effectively Connected with a U.S. Trade or Business
If the Tax Treaty has a rate of zero, the item does not need to be reported on the tax return
