A card is drawn from a standard 52-card deck. What is the probability that the card is a red card, or that it is a ten of clubs or a jack of clubs?