Governor Ron DeSantis, Executive Order 20-72 (Mar. 20, 2020) (Ex. SEC-03-042)
