After his run, he drank a big glass of ice water in one go.
Tips
culture
In China the default drink is warm or 常温 (room-temperature) water, and many people believe cold drinks upset the stomach. In restaurants you may need to ask specifically for 冰水, or for a drink 加冰 (with ice).