Filing a US tax return (1040-NR) from Thailand — TinTax