Right, 18 billion. Still less than one percent of the federal budget. As to what we could do with it... so what? No matter what we could do with it, it's government money, destined to be pissed away on pork or pet projects or whatever other bullshit.
It won't be put to good use, so it's rather pointless to waste time wishing about what might be.