state of florida / office of the governor / executive order number 20-72