If they are legally married in Thailand, they are recognized as married for US tax purposes.  The only option then would be MFS if they are living together.

I don't use PS.  But in Lacerte/ProConnect Tax, you will leave the spouse's TIN blank and check the box "Spouse is a nonresident alien and does not have an SSN/ITIN (MFS Only)", which would allow you to efile.