U.S. options on N. Korea