[al_borland]

“Military time” is the common name for it in the US. It’s the only way to ever hear people refer to it.