The United States is not formally a party to the Korean War. Congress never declared war.