As far as I understand, the US taxes its citizens whereever they live (the third alternative I mentioned).
There's various exclusions and credits to avoid double taxation.
There's various exclusions and credits to avoid double taxation.