Gaming out the North Korea crisis: How the conflict might escalate