“Nudge” of Dimorphos reduces asteroid’s orbit time by three times what scientists had hoped.