The Mexican who’s fighting Elon Musk over the Starlink trademark