Sha'ar HaMelekh on Mishneh Torah, Rest on a Holiday