Mask mandate ban for Florida public schools back in effect -- for now