How did the US pay off the Revolutionary war debt?