Governor DeSantis bans school mask mandates in Florida.