‘Anonymous’ is former DHS official