Eastland’s government has a total national debt of $500 million, which is financed as follows: $100 million is held by other government agencies, $200 million is held by Eastland’s citizens, and $200 million is held by foreign citizens. The amount of public debt in Eastland is: