Antes de que le pusieran este nombre para olvidar la represión que se vivió en este pueblo andaluz, ¿cómo se llamaba Benalup de Sidonia?