Should refs swallow their whistle in the last few minutes of a football game?