Another gun site is asking what Mike Pence should have done.

I'm looking for documentation and explanation on what he should have done.

Mostly they are saying he could not do anything.

I understand that he could, but arguing the point is not my thing.

I'd like to copy and paist some of your arguments, and links are fine as well.

Thanks for your help.