small red onion, diced (about 1 cup)