Tổng cục Trinh sát, Bộ Tổng tham mưu (Cộng hòa Dân chủ Nhân dân Triều Tiên)