Infante de la Marina colombiana murió durante enfrentamiento con el ELN