Before revision:  This leads to the study of a stochastic game with optimal stopping subject to early termination resulting from a default .
After revision:  This leads to the study of a stochastic game with optimal stopping subject to early default termination .