Portfolio credit risk with predetermined default orders