. . . "of $81,557 debt, including interest and a prepayment penalty, guaranteed by the Air Transportation Stabilization Board, or ATSB; and" .