Código postal de Villas del Sol en Pátzcuaro, Michoacán de Ocampo, México