These names ALL have their origins in the various nations that make up modern Spain and Portugual.
In short, they are classical Hispanic names, two of them dating back to pre-Roman times.
I don't think you can get more Hispanic than that ~ these young men had ancestors who came to America as Conquistedores and married native women. They are the very essence of the broad masses of Mexicans and Central Americans who are mestizo.
They wore our colors.
Those other people who abused them are fascist pigs.
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.