Código postal de Puerta Grande en Ixtapan de la Sal, México, México