Strategy-proof and Efficient Mediation: An Ordinal Market Design Approach∗