the crater was named on behalf of the brazilian aviation pioneer alberto santos dumont