Batalla en arroyo del Infierno (1957)