red onion, thinly sliced