Governor Ron DeSantis, Executive Order 20-179 (July 29, 2020) (Ex. FL-039)
