What is a different name for ground nuts?

"Ground nuts" or "earth nuts" is another name for peanuts, goober nuts, monkey nuts or pig nuts.