US-General: Militäroption bei Scheitern von Nordkorea-Sanktionen