Allen, Dallas shooting refers to Allen Dulles shar.es/afUzjK