What should the NFL do after the latest controversy involving replacement referees?