If that is true - no body bothered informing law enforcement in Virginia.
I guess it would depend on Virginia state laws for CCW and off duty law enforcement. The Law Enforcement Officer’s Safety Act, which allows off duty and retired law enforcement to carry across state lines doesn’t cover them from carrying in prohibited public “gun free zones.”