Will Sunday's game be Mike Shanahan's last with the Redskins?