Polite society my ass. I’ve owned guns for over 15 years and never has a gun de-escalated a situation. People who carry in public are way more likely to kill someone and to get themselves killed. Guns cause aggressiveness far more often.
The woman was never in danger, if she pulled a gun, her, the harrassers, and all other bystanders would have been in danger.