Is the FBI's DNSSEC broken?