They are probably Gambusia (mosquitofish). They will keep the pond from becoming a mosquito pit. They will not damage water quality at all. I would leave them be.