Florida coronavirus-related deaths through May 20, 2020