$1.76 billion DOT loan