US-General hält „militärische Option“ gegen Nordkorea aufrecht