Su nombre se refiere al municipio andaluz de Gibraleón, en la provincia de Huelva.