of the construction in the United States is done with public money.​