It’s time to start considering what a North Korean refugee crisis would look like