What will Obama do about North Korea?