Código postal de Puerto Real en Lázaro Cárdenas, Michoacán de Ocampo, México