Florida judge voids US travel mask mandate