Navier-Stokes solutions with surface catalysis for Martian atmospheric entry