15 playing cards are drawn at random. Some are black, and the rest are red. There are twice as many
black cards as red cards. How many red cards are there?