NASA plans to fix Mars spacecraft leak then launch in 2018