Quick-pickled carrots