Does my 20yrs son @ colledge need to file tax return to get refund? He earned $4000 and tax deducted $400. He also has foreign bank >$50,000 so need to file form 8938?