Existence and Application of Optimal Markovian Coupling with Respect to Non-Negative Lower Semi-Continuous Functions