That's assuming the US Congress doesn't kill the budget.
It's too bad there isn't a scientist
around like Carl Sagan anymore who can
publicize and popularize an ambitious
space-project; drawing the attention
and interest of large numbers of taxpayers.
He used common vernacular as much as possible so as not leave millions of his viewers and readers with the inclination to "change channels" or to leave his books unread.
Those millions of inspired viewers and readers rewarded Carl Sagan's peers by supporting such space-projects as, "Project Galileo", etc...
This is the lesson the space-science/space-engineering
needs to take to heart. "No bucks, no Buck Rogers!"
Jacob