 Michael, you mentioned Seoul. Even before Trump became president, some in the South Korean right were talking about the acquisition of nuclear weapons because they did not trust, in general, American diplomacy with regard to North Korea. That is a Republican complaint. That's a Democrat complaint. Just completely failure of American policy over the course of decades.