How many quarterbacks will Redskins keep?