Anyone paying attention to Mike Pence in Korea?