My wife had a TIN in 2017, but received her social security card in 2018. Should I mention her TIN or SSN on the 2017 filings ? Thank you ! Eric