green cards or have us citizenship.
you may need to file with irs for reporting purposes. No tax needs to be paid.