Código postal de Mirador del Paraíso en Pátzcuaro, Michoacán de Ocampo, México