米軍が北朝鮮を攻撃するときの作戦は?