Jay Gruden hired to coach Washington