Hypothetically If the government was willing to give NK a check what would the numbers on that check be?

Assume this Is a one time interest free loan with a 20 year term.