...they're in heavy training and sweat a lot, and therefore drink a lot. They sweat out salts, not just water, it seems.

So they take salt pills to make up for it. So did the ancient (=19th & 20th century) explorers, and WWII troops in Africa.