If not us tax dollars, how are they funded? Are the backed with full faith of credit of the us government? It’s hard to search for answers on this one.