Explosive volcanism on Mars deposited rare mineral into Gale Crater, NASA rover finds