Comment by lurk2

15 billion is more than the respective budgets of Alabama, Oklahoma, New Mexico, North Dakota, Iowa, West Virginia, Montana, Wyoming, Alaska, Mississippi, Rhode Island, Arkansas, Delaware, Idaho, Vermont, New Hampshire, and South Dakota. Of these, only North Dakota, Wyoming, Alaska, and Vermont have populations lower than 800,000.