How to report proceeds from Stock Options traded outside the US?