*.mil:80 disconnected in self-defense?

I wrote:

I have a report that .mil disconnected port 80 traffic
from outside hosts, and possibly some other stuff,
in response to DOS attacks last week.
There was some discussion on the inetproviders list this
morning on the topic, and then I asked someone inside
who confirmed the cutoff and said there's a DISA alert
and operational bulletin about it.
It seems to be Just One of Those Months.

I've since received a second and third confirmation
on this, both of whom want to remain anonymous.

-george william herbert