Código postal de Puerta del Mar Residencial en Lázaro Cárdenas, Michoacán de Ocampo, México