Formattare l'ora come ora militare di 24 ore?

Se tutto ciò che vuoi è solo il tempo militare:

SELECT CONVERT(VARCHAR(8), GETDATE(), 108) AS MilitaryTime