Nonzero-Sum Markov Games with Finite Random Horizon | Synapse