For those with a 100% VA rating living long term in Thailand, do you tax that income in the US or Thailand or neither? How strict are they about this?