"JPL changes name of Mars mission proposal".
2018년 4월 19일에 확인함.  “JPL changes name of Mars mission proposal”.