Código postal de Mirador del Lago en Erongarícuaro, Michoacán de Ocampo, México