[outages] usno.navy.mil disappeared?

Anyone know what is going on with The US Naval Observatory? Usno.navy.mil appears to be completely unresolvable. Affecting access to tick and tock time servers. $ nslookup -type=NS usno.navy.mil 8.8.8.8 *** google-public-dns-a.google.com can't find usno.navy.mil: Server failed Server: google-public-dns-a.google.com Address: 8.8.8.8 -Steve S.