More on Tactical Nuke Exercises and Russian Escalatory Options