Redskins head coach Jay Gruden: ‘I didn’t think it was possible to tie’