¿Hubo errores por parte del Ejército en atentado del ELN en el que murieron 9 militares?