What are US options for dealing North Korean nuclear menace?