If the biggest asteroid in the Solar System were to crash into Earth