A federal judge’s decision to void a gaming compact between the Seminole Tribe and the state of Florida over a provision allowing state-wide mobile sports betting with servers based on tribal lands has prompted a coalition of four California tribes to revise their ballot proposal for online sports wagering.