Not trying to stir the pot but let’s say trump actually decided to use a nuke on Iran. After the dust settles (and we’re all still alive) what’s the buy? What’s the sell? What are we shorting? Again, I obviously want nothing to do with nuclear weapons but just wondering what the markets would do immediately and a few days after