Código postal de San Miguel el Alto (El Puerto) en Maravatío, Michoacán de Ocampo, México