I was just recently asked: "how do I switch my menubar clock from 24-hour time to 'normal' time?" and I had no idea. So I checked. It turns out that this particular time preference is not under the Date & Time prefs like one might expect but instead one finds it in the International prefs, under the Time tab.

Of course.