Mars' External Magnetic Field as Seen from the Surface with InSight