Everardo Gumercindo Arenas Machorro murió en 1955.