A 54-yeаr-оld mаn presents tо the emergency depаrtment with acute traumatic brain injury and evidence оf cerebral edema on CT scan. He is intubated and sedated. Which of the following intravenous fluids is most appropriate for the acute management of his cerebral edema?