Ejector-Nozzle Flow and Thrust for Choked Flow