Samsung's $10 billion choice: Ditch the Note 7?