What ever happens to the coins in these thefts? Some of it goes to North Korea, but what about others?