Drawing a red card from a standard deck of cards