Ejército Popular de la República
42.ª División (Ejército Popular de la República)