Código postal de San José del Arenal en Ixtapan de la Sal, México, México