Combate de Arroyo del Infierno (1957)