El origen del nombre "Big Ben" es objeto de debate.