cole_haus comments on Do we know how many big asteroids could impact Earth?