Redskins coach Mike Shanahan on RGIII injury