Assume that the year is 2025, and the government needs to pay out $350 billion more in Social Security benefits than it collects in Social Security taxes. Briefly discuss the options for getting this money.