Se oficializó la imposición del nombre al estadio de Ben Hur