A 3-year-old male with a depressed skull fracture and large epidural hematoma with evidence of midline shift is scheduled for an emergent craniotomy. Administration of which of the following medications is MOST appropriate to reduce intracranial pressure?