Explainable Deterministic MDPs