The Internet Systems Consortium (ISC) had been tasked by the FBI to operate replacement DNS servers — and those DNS server were in fact taken down on July 9th.