Cooling of the Martian thermosphere by CO2radiation and gravity waves: An intercomparison study with two general circulation models | Publicación