Código postal de El Puerto de San Salvador en Arteaga, Michoacán de Ocampo, México