red onion, diced (about 1/4 cup)