Brazil's army says it had to kill a jaguar used in an Olympic torch relay ceremony after it escaped its leash and tried to attack a soldier.