Terry:
To my non-pro eye, those look like Mosquitofish, Gambusia affinis (IIRC there is another Gambusia species, so it could be them). If I am correct, that's good news (for at least this one kind of "minnow" in the pond) - Gambusia are just fine to have, won't get much bigger than you have seen them, make good (albeit small) forage.