Check Out QuickStar in Samsung GoodLock, maybe you can customize the clock in the way you want. I can't say sure, but it gave me some options (for AM/PM at least) I can use that is not neccessairly match my regional settings.
Maybe it has more options for more special regions in this case.