Who's picking Redskins staff: Jay Gruden or Bruce Allen?