Código postal de Puerta del Sol en Hidalgo, Michoacán de Ocampo, México