I'm a US citizen working in Korea. I received RSU / ESPP from the employer who is affiliated with a US company. Those were taxed by the Korean government. I also received 1099-B on the same, but there is no way to record the foreign tax paid for it. Even with Foreign Earned Income Exclusion, I have a quite a bit to pay both governments.
What is my best option?
Foreign Tax Credit or Form 8833?
Someone told me that it's not for a US citizen. Is this true?