My parents are green card holders. They do not work in US and they receive a foreign pension from Chile. How do they file it? Which form do they need to use?.