An Exact Dynamic Programming Solution for a Decentralized Two-Player Markov Decision Process