 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 US wages in the form of sanctions against the DPRK. As part of that war as well, there are these military threats, these constant war exercises that we've named.