We draw a card from a standard deck. What is the probability that it is a Jack, Queen, King, or is it red?