how many players are in the tiburones rojos de veracruz ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_team dbr_Tiburones_Rojos_de_Veracruz sep_dot var_uri a dbo_Athlete brack_close