[outages] US Naval Observatory DNS failures

[Stephane Bortzmeyer]

On Wed, Nov 20, 2019 at 10:17:47PM -0600,
 Matt Harris via Outages <outages at outages.org> wrote 
 a message of 35 lines which said:

> Looks like usno.navy.mil DNS is having issues.

Some of the authoritative name servers for navy.mil reply NXDOMAIN:

% dig @ns1.csd.disa.mil NS usno.navy.mil.

; <<>> DiG 9.11.5-P4-5.1-Debian <<>> @ns1.csd.disa.mil NS usno.navy.mil.
; (1 server found)
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NXDOMAIN, id: 8736
;; flags: qr aa; QUERY: 1, ANSWER: 0, AUTHORITY: 0, ADDITIONAL: 1

;; OPT PSEUDOSECTION:
; EDNS: version: 0, flags: do; udp: 4096
;; QUESTION SECTION:
;usno.navy.mil.		IN NS

;; Query time: 159 msec
;; SERVER: 152.229.110.235#53(152.229.110.235)
;; WHEN: Thu Nov 21 13:18:51 CET 2019
;; MSG SIZE  rcvd: 42