Finely diced red onion