Two-player zero-sum stochastic differential games with random horizon. (December 2019)