"Descripción de Mildendo, metrópoli de Liliput, con el palacio del emperador.