The summit in Hanoi ended prematurely, with no deal. For some in Washington, the time has come for toughening sanctions against North Korea.