Batalla en Arroyo del Infierno (1957)