Nasty, brutish, and short—what the next Korean War will look like