Governor Ron DeSantis, Executive Order 20-112 (Apr. 29, 2020) (Ex. SEC-03-043)
