Energetic electron precipitation associated with pulsating aurora: EISCAT and Van Allen Probe observations