Definitely G. javari like
kno4te
said.
I've never seen a live photo of the true G. pedanopterus and have my doubts that its ever been imported as an aquarium fish. All of them have been G. tigre...easily recognizable by the light-colored spots on the head.
From what I've seen, at least 95% of Gymnotus brought in are either G. carapo (or one of the species virtually indistinguishable from it), G. tigre, or G. javari.
Javari used to be rare to see, but are showing up more regularly...great variation in color pattern and seem to stay a smaller size than the others.