Navy Marin Corps Intranet back online (EDS says it was never offline)