Which of the following best corrects the double negative in the sentence?

We have never seen a tornado that big.
We have never seen no tornado that big.
We never have seen no big tornadoes.
We never see no big tornadoes, ever.