20180502 home.science: Nasa sending robotic geologist to Mars to dig super deep