North Korean remote IT worker infiltrated US government agency — Trace