Disney World also has armed guards.
Oh, yeah, I forgot, lol!
Disney has Orange county sheriffs deputies, mostly behind the scenes. Their unformed security, although well trained is armed only with pepper spray.
CC