Should the National League begin using the designated hitter?