Código postal de Puerto el Mirador en Nocupétaro, Michoacán de Ocampo, México