Two-player zero-sum stochastic differential games with regime switching. (April 2020)