There are shredders and V-shaped vice/press devices built for this purpose and such facilities will have them ready and waiting to be used.
If they have time they're wiping things first.
You can also just burn them. It's not the Taliban they're worried about, it's the Russian and Chinese spies who will sneak in and pocket stuff, but that's mostly dealt with with policies that keep the kind of info those people would want off of hard drives in an unrelated nation.
As a result there's tons of videos that the public will never see of the world's heaviest presses, shears and brakes being used to decimate lines of hard drives. When you run a shipyard it's cheaper to just bend hard drives than it is to ship them back to HQ and have infosec deal with them.
One of my jobs as an intern was to take a list of serial numbers and watch the video walk-through and confirm the list matched the drives.
Edit: Of course "everything" is encrypted. You still destroy stuff anyway because of defense in depth.