“The US government's Loan Program Office has approximately $260 billion available to spend by the end of 2028.”