And mostly Americans’ tax money is paying for it, some from Western Europe.