And a Starlink network would mean an instant global Martian internet.