Código postal de San José de los Pinos (Mancha de Pinos) en Arteaga, Michoacán de Ocampo, México