My 10yr old son had $6,386 in 2016 social security disablility income and owes no tax. But does he have to file?