Should NFL games end in a tie?

After their 27-27 tie in London, Washington and Cincinnati players discuss if the NFL should change the overtime rules.