Vaughn: Time for designated hitter in National League