A dust devil passed over NASA's lander on Mars