Does correctional officers carry guns