A 24-year-old woman is brought to the emergency department after drinking approximately 8 L of water during a long-distance event. She is drowsy and has a serum sodium concentration of 111 mmol/L (135–145). Her blood glucose and renal function are normal. While being assessed, she has a generalised tonic–clonic seizure. Which one of the following is the most appropriate next treatment?