NASA’s DART anti-asteroid satellite successfully smashes into space rock