Update as of 11:48 p.m. EDT: The Pakistani army, after a gun battle lasting more than five hours, killed all 10 gunmen who launched an attack on the old terminal at Jinnah International Airport in Karachi, according to various media reports. The attackers had killed 13 people, mostly security guards and airline workers, BBC reported, adding that the attack also left at least 14 people wounded. Read More…….