Should TSA officials be armed?