Thirteen cards are drawn at random without replacement from a standard deck of 52 cards. what is the probability that all of them are red?