A card is drawn from a​ well-shuffled deck of 52 cards. find the probability that the card is a red card or a 10.