red onion, diced finely