Did N. Korea Really Declare War On US?