small red onion, finely diced