A card is drawn from a standard 52-card deck. What is the probability that the card is a red jack, given that the card is a face card (a jack, queen, or king)?