20151115 world.us: US air strike kills top ISIS leader in Libya