20160702 world: Top ISIL leaders killed in US airstrike: Pentagon