Allen was the El Paso police chief for 15 years after he served as a police officer for 40 years.

His cause of death is unknown.

The city of El Paso is mourning his death.