Heat the olive oil in a small pan. Add the onion and sauté until browned. Add the frozen peas and ¼ cup of water. Salt and pepper to taste, lower the heat, cover, and cook for 5 minutes. Add the mint just before you turn off the heat, mix, and let rest for 5 minutes before you serve them. They are deli