Gov. Ron DeSantis announced that some state agencies will partner with immigration enforcement. What we know about it could affect the Florida Lottery.