Batalla en Arroyo de Infierno (1957)