how big would an asteroid have to be to destroy a city