Batalla del Arroyo del Infierno (1957)