ICD-10-CM W58.12XS: Struck by crocodile, sequela · Codelle