I noticed what you noticed, too. (Galli might be an Italian name, though.) Kudos to those students and their parents for refusing to back down.
Galli is most likely from Galicia ~ aka Carvajal ~ one of the three Christian kingdoms established to drive back the Moors. Carvajal did not fare as well as Castile and Leon, but it’s existence was never forgotten.