Seven options for US to face North Korea