Admin > settings > regional

click on edit for your region and one of the options is time format

There's a list of formats you can use

?

Oh goodness me, I cannot beleive I didn't notice that. Thank you.

You must have been 'lost in your sphere' somewhere? ;)

Sorry ... couldn't resist.