Time to move another division’s division artillery to the DMZ, add another THAAD, send an Aegis destroyer and mobilize the 82nd Airborne.
I’d opt for carpet bombing using B1B Lancers, BUFFs., and clean up with KC130s and Cobras.