This is what’s wrong with the US budget