Cedillo fue muerto por las fuerzas federales en 1939.