Hi.
Hmmm .. what do you mean with army time, the time string in 24h format ? Well, thats 'standard time' in some regions of the world.
To change it you have to find the place in code where it is build, guess it uses standard time formation functions of php.
A change in their attributes should lead to your goal.
Greets
Phil.