Pickled onion for tacos