Código postal de San José de las Peñas (La Barranca) en Tancítaro, Michoacán de Ocampo, México