whois.dotgov.gov has been fixed.