 Gordon, you have a question for Michael. Michael, there seem to be some other factors at work as well. There is the increased Chinese aggressiveness, but there's also concern in the region about what happens if Donald Trump becomes president, because there is a fear that Trump, for instance, will unscramble things. And that's why you see, for instance, the United States and South Korea rushing to put together their new security arrangements.