Thinking of it as taxpayer funded doesn’t make sense.
if you raise a billion dollars from taxpayers, and then raise a billion dollars from foreign debt, and you have a problem that you need to spend a billion dollars to fix, any dollar from either pile can go towards fixing that problem
this is like when red bull broke their spending cap in F1 and their response was to say that the overspend was from catering