Trump is correct. If NK did attack the US or its allies, it would lead to the total destruction of that nation, and probably SK as well. There is no way to execute a limited war over such a small, extremely heavily-armed area. The collateral damage would be catastrophic.