Antes de 1988 su nombre era el de