ICD-10 codes for a diagnosis of COVID-19