Pulling a red card from a deck of cards, replacing it, and then pulling a king