[emodendroket]

People use the term "military time" interchangeably with "24-hour clock" if that helps.

[w-ll]

People do, but also people might not. I can see offering the same setting but with two different labels, or like in a dropdown.