yellow onion, finely chopped