I sure don't feel like an expert on this, but I'd go with #1, maybe with 6"-8" LMB. And keep a close eye on the pond to see what else might have survived. As DD pointed out, electrofishing doesn't find everything and tends to have different effectiveness at finding different species.