Start with 8 uranium, and if you pillage the 4 uranium tile with the citadel, the total drops to 4. But, as you say, there's no sign of any other uranium in Korea's boundaries, and no CS allies, so looks buggy.
Moderator Action: Moving this thread to Bug Reports.
Moderator Action: Moving this thread to Bug Reports.