a town of Spain, in the province of Andalusia, forty miles east of Seville.