Supersonic Navier-Stokes simulations of turbulent afterbody flows