Código postal de Santa Rosa de Lima (El Armadillo) en José Sixto Verduzco, Michoacán de Ocampo, México