Código postal de El Puerto de Valle Verde en Zitácuaro, Michoacán de Ocampo, México