MICHELLE CARUSO-CABRERA: One of the countries that's really gorged on One Belt, One Road is Pakistan. So much so they've taken on all kinds of debt. They might actually have to go to the IMF, the International Monetary Fund, for a bailout because they've taken on so much Chinese debt. The IMF is funded by U.S. taxpayer dollars. Many other countries as well, but if they go to the IMF for a bailout, there's a chance that U.S. taxpayer dollars are going to go towards Chinese directed companies as-- as part of that bailout. Are you concerned about that? Are you monitoring that?
MIKE POMPEO: So two thoughts. First, there's new leadership in Pakistan and we welcome engagement with them in a way that we think will benefit each of our two countries. Second-- make no mistake-- we will be watching what the IMF does. There's no rationale for IMF tax dollars-- and associated with that, American dollars that are part of the IMF funding-- for those to go to bail out Chinese bondholders or-- or China itself.