Thanks to PBS and all of the contributors to this video.
Can Humans Deflect an Asteroid?
https://www.pbs.org/wgbh/nova/video/can-humans-deflect-asteroid/
Can Humans Deflect an Asteroid?
https://www.pbs.org/wgbh/nova/video/can-humans-deflect-asteroid/