I have a web app with large number of US users (locale en_US), but many of those (say half) use 24 hour time setting on their machines, and I know the en_US default is 12 hour t