My son married a non-resident alien in 2018. She has a social security card and is a student. Can they file married, filing jointly? She was in the US all year.