NASA’s InSight spacecraft, which was originally scheduled to take off for Mars this month, will now be launched in May 2018, the space agency announced Wednesday. NASA had postponed the launch of the robotic lander in December after unsuccessful attempts to repair a leak in a vacuum enclosure housing a key science instrument.