Show of Hands

Scenario: After the N.Koreans launch nuclear missiles towards Tokyo and Seoul, they're successfully shot down by the US. Does the US retaliate with a ground invasion of Pyongyang (mass allied casualties will occur) or does the US use a nuclear bomb?