1/2 red onion, diced