The Korean War actually never ended. And should the DPRK attack the US, I believe that there would be a declaration of war so fast you're not going to believe it: Congress actually working together. But that's not necessary, as Congress gave the President the authority to launch a retaliatory strike back in the '50s.