 We also need to understand that there has been a long war on Korean independence, a long war on the DPRK that stretches all the way back to the end of World War II. As you may be aware, the Korean War ended in an armistice in 1953, not a peace treaty. So as a result, in a legal and in a military sense, that war is still a reality. As part of that war, there's the economic war that the U.S. wages in the form of sanctions against the DPRK.