Retirement tax questions

Yes he was here legally as a permanent resident but got deported September 2015. not sure if I need to request an ITIN or ok to use his SSN he already has.